1. An introduction to practical formal methods using temporal logic
Author: / Michael Fisher
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Temporal automata,Logic, Symbolic and mathematical
Classification :
QA267
.
5
.
T45
,
F57
2011
